Electronic Books

Total Books: 1 - 20 /29
Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)

Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...

Lee mas
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Lee mas
Architecture of Computing Systems - ARCS 2008 : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...

Lee mas
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Lee mas
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...

Lee mas
Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, ...

Lee mas
Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...

Lee mas
Elementary Logic :For Software Development

This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between ...

Lee mas
Embedded Computer Systems: Architectures, Modeling, and Simulation :8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and ...

Lee mas
NoIMG
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Lee mas
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...

Lee mas
NoIMG
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

Lee mas
Grid Computing : Achievements and Prospects : Achievements and Prospects

Grid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the ...

Lee mas
Job Scheduling Strategies for Parallel Processing :13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Job Scheduling ...

Lee mas
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Lee mas
Networked RFID : Systems, Software and Services

The book begins with a quick introduction to RFID basics and then discusses the various elements of the topic, using applications ...

Lee mas
OpenMP in a New Era of Parallelism : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming ...

Lee mas
Parallel Problem Solving from Nature - PPSN X: 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, ...

Lee mas
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

Lee mas
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...

Lee mas
Total Books: 1 - 20 /29